void printGreeting() {}
